Theorem proving with analytic tableaux and related methods - 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings
- Författare
- (Peter Baumgartner, Reiner Hähnle, Joachim Posegga (eds.).)
- Genre
- Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | 1995 | Tyskland, Berlin, New York | 352 sidor. |